Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
411	Counting Danes Hans Jørgen Marker, Dansk Data Arkiv Abstract In Denmark we have five complete machine readable individual level nominal censuses, 1787, 1801, 1834, 1840 and[removed]Some of them are also completely coded a Add to Reading List Source URL: ddd.dda.dk Language: English - Date: 2008-08-26 03:36:14 Census Demography Genealogy Sampling Survey methodology Statistics Population Science
412	Automating Model Creation and Data Preparation: Skytree Infinity 15.1 Abstract In February 2015, Skytree announced Skytree Infinity™ 15.1, a new release of a platform designed to make machine learning more available an Add to Reading List Source URL: pages.skytree.net Language: English - Date: 2015-04-01 08:11:49 Data management Computing Data analysis Cloud infrastructure Apache Hadoop Cloud computing Data mining Big data Analytics Formal sciences Business intelligence Technology
413	Simulation of 3D Acoustic Fields on a Concurrent Computer K. Epasinghe, S.Holm Dept. of Informatics, University of Oslo, P. O. Box 1080, N-0316 Blindern, Norway 1 Abstract Add to Reading List Source URL: www.mn.uio.no Language: English Computer cluster Parallel Virtual Machine MATLAB IBM Computing Parallel computing Software
414	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
415	Preimage Attacks Against Spectral Hash and PTX Functions. Ethan Heilman Boston University ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Collision attack Preimage attack Spectral Hash Hash function Collision NIST hash function competition Oracle machine Cryptography Cryptographic hash functions Random oracle
416	ROP is Still Dangerous: Breaking Modern Defenses Nicholas Carlini David Wagner University of California, Berkeley Abstract Add to Reading List Source URL: nicholas.carlini.com Language: English - Date: 2014-07-11 12:36:43 Software Gadget Technology Microsoft Gadgets MOV Indirect branch Calling convention Computer architecture Computing Machine code
417	Abstract Electrical machines and drives are a key enabling technology for electric and hybrid electric vehicles. This plenary presentation systematically overviewsthe relative meritsand demerits of various advanced elect Add to Reading List Source URL: conference.evermonaco.com Language: English - Date: 2014-10-12 23:32:47 Mechanical engineering Electrical machine Hybrid electric vehicle Magnetic reluctance Electric machine Singly fed electric machine Electric motors Electrical engineering Electromagnetism
418	LFMTP[removed]A List-machine Benchmark for Mechanized Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-07-19 04:40:31 Logic in computer science Type theory Deduction Automated theorem proving Formal methods Twelf Symbol Proof assistant POPLmark challenge Logic Theoretical computer science Mathematical logic
419	Microsoft Word - quf_abstract-1.docx Add to Reading List Source URL: adt.cs.upb.de Language: English - Date: 2011-03-03 07:31:46 Instruction set architectures QEMU Q SystemC Binary translation Emulator Virtual machine X86 ARM architecture System software Software Computing
420	Face Recognition with Multilevel B-Splines and Support Vector Machines Manuele Bicego Gianluca Iacono Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2011-10-29 17:46:26 Abstract algebra Splines Statistical classification Automatic identification and data capture Support vector machine B-spline Eigenface Vector space Lattice Algebra Mathematics Interpolation

UPDATE